Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
811	A Foundation for Representing and Querying Moving Objects∗ Ralf Hartmut G¨ uting†, Michael H. B¨ohlen‡, Martin Erwig†, Christian S. Jensen‡, Nikos A. Lorentzos§, Markus Schneider†, and Michalis Vazirgianni Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2008-08-29 08:55:42 Software engineering Data types Program analysis Type system Function Spacetime Sheaf Solid modeling Constructor Mathematics Topology Type theory
812	Volume 8, Num Number 6 Add to Reading List Source URL: bcbjournal.com Language: English - Date: 2011-06-08 00:20:30 C++ Method D C++ classes ALGOL 68 C Sharp Constructor Virtual function Void type Software engineering Computing Computer programming
813	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics
814	Understanding Information Update in Questionnaires Jan van Eijck, Tijs van der Storm CWI, Amsterdam Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-19 08:31:29 Logic Functions and mappings Recursion Function Fold Telephone number mapping Interpretation Structure Enumerated type Mathematics Mathematical logic Model theory
815	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-26 14:18:16 Model theory Formal languages Predicate logic Logical syntax First-order logic Interpretation Principia Mathematica Well-formed formula Function Logic Mathematics Mathematical logic
816	Notes on Takeuti’s Parametricity Logic and Wadler’s Girard-Reynolds Isomorphism Kevin Watkins Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-04-20 11:45:53 Predicate logic Formal languages Computability theory Lambda calculus Theoretical computer science Function Formation rule Constructible universe Type theory Logic Mathematics Mathematical logic
817	Inductive-inductive Definitions Fredrik Nordvall Forsberg⋆ and Anton Setzer⋆ Swansea University {csfnf, a.g.setzer}@swansea.ac.uk Abstract. We present a principle for introducing new types in type Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-09-29 18:22:59 Deduction Binary operations Entailment Logical consequence Metalogic Mathematical induction Function Generic programming Inductive reasoning Logic Mathematics Proof theory
818	Visio-C0[removed]edits.vsd Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Systemic primary carnitine deficiency Dietary supplements Quaternary ammonium compounds Carnitine Glutaric aciduria type 1 Medical genetics Liver function tests Medicine Health Hepatology
819	Weight reduction improves markers of hepatic function and insulin resistance in type-2 diabetic patients with non-alcoholic fatty liver Al-Jiffri O1, Al-Sharif FM1, Abd El-Kader SM2, Ashmawy EM2 Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English* Diabetes Diets Nutrition Hepatitis Obesity Non-alcoholic fatty liver disease Insulin resistance Fatty liver Steatohepatitis Health Medicine Biology
820	1109 ORIGINAL ARTICLE Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Jaundice Hepatitis Alanine transaminase Cholestasis Liver biopsy Elevated transaminases Glycogen storage disease type I Liver disease Medicine Hepatology Liver function tests

UPDATE